module resolve;

void writeln(int i) {}
